propositional calculus - French English Dictionary